node(1).
node(2).
node(3).
node(4).
node(5).
node(6).
node(7).
node(8).
node(9).
node(10).
node(11).
node(12).
node(13).
node(14).
node(15).
node(16).
node(17).
node(18).
node(19).
node(20).
node(21).
node(22).
node(23).
node(24).
node(25).
node(26).
node(27).
node(28).
node(29).
node(30).
node(31).
node(32).
node(33).
node(34).
node(35).
node(36).
node(37).
node(38).
node(39).
node(40).
node(41).
node(42).
node(43).
node(44).
node(45).
node(46).
node(47).
node(48).
node(49).
node(50).
node(51).
node(52).
node(53).
node(54).
node(55).
node(56).
node(57).
node(58).
node(59).
node(60).
node(61).
node(62).
node(63).
node(64).
node(65).
node(66).
node(67).
node(68).
node(69).
node(70).
node(71).
node(72).
node(73).
node(74).
node(75).
node(76).
node(77).
node(78).
node(79).
node(80).
node(81).
node(82).
node(83).
node(84).
node(85).
node(86).
node(87).
node(88).
node(89).
node(90).
node(91).
node(92).
node(93).
node(94).
node(95).
node(96).
node(97).
node(98).
node(99).
node(100).
node(101).
node(102).
node(103).
node(104).
node(105).
node(106).
node(107).
node(108).
node(109).
node(110).
node(111).
node(112).
node(113).
node(114).
node(115).
node(116).
node(117).
node(118).
node(119).
node(120).
node(121).
node(122).
node(123).
node(124).
node(125).
node(126).
node(127).
node(128).
node(129).
node(130).
node(131).
node(132).
node(133).
node(134).
node(135).
link(1,2) :- #0.459.
link(2,1) :- #0.273.
link(1,11) :- #0.449.
link(11,1) :- #0.816.
link(1,12) :- #0.24.
link(12,1) :- #0.923.
link(1,16) :- #0.289.
link(16,1) :- #0.364.
link(1,32) :- #0.35.
link(32,1) :- #0.184.
link(1,40) :- #0.818.
link(40,1) :- #0.902.
link(1,52) :- #0.745.
link(52,1) :- #0.178.
link(1,56) :- #0.917.
link(56,1) :- #0.76.
link(1,69) :- #0.616.
link(69,1) :- #0.635.
link(1,98) :- #0.76.
link(98,1) :- #0.941.
link(1,108) :- #0.29.
link(108,1) :- #0.324.
link(1,115) :- #0.997.
link(115,1) :- #0.177.
link(1,125) :- #0.815.
link(125,1) :- #0.434.
link(2,21) :- #0.029.
link(21,2) :- #0.473.
link(2,43) :- #0.664.
link(43,2) :- #0.813.
link(2,44) :- #0.787.
link(44,2) :- #0.212.
link(2,48) :- #0.142.
link(48,2) :- #0.778.
link(2,50) :- #0.975.
link(50,2) :- #0.152.
link(2,57) :- #0.34.
link(57,2) :- #0.491.
link(2,60) :- #0.995.
link(60,2) :- #0.352.
link(2,64) :- #0.442.
link(64,2) :- #0.302.
link(2,85) :- #0.211.
link(85,2) :- #0.01.
link(3,10) :- #0.936.
link(10,3) :- #0.613.
link(3,11) :- #0.038.
link(11,3) :- #0.944.
link(3,16) :- #0.832.
link(16,3) :- #0.732.
link(3,17) :- #0.505.
link(17,3) :- #0.386.
link(3,20) :- #0.348.
link(20,3) :- #0.155.
link(3,32) :- #0.926.
link(32,3) :- #0.386.
link(3,35) :- #0.006.
link(35,3) :- #0.115.
link(3,36) :- #0.65.
link(36,3) :- #0.46.
link(3,61) :- #0.77.
link(61,3) :- #0.141.
link(3,63) :- #0.209.
link(63,3) :- #0.606.
link(3,86) :- #0.333.
link(86,3) :- #0.316.
link(3,90) :- #0.764.
link(90,3) :- #0.068.
link(3,92) :- #0.939.
link(92,3) :- #0.995.
link(3,102) :- #0.329.
link(102,3) :- #0.713.
link(3,110) :- #0.294.
link(110,3) :- #0.516.
link(3,119) :- #0.749.
link(119,3) :- #0.671.
link(3,120) :- #0.944.
link(120,3) :- #0.918.
link(3,134) :- #0.689.
link(134,3) :- #0.614.
link(4,13) :- #0.597.
link(13,4) :- #0.721.
link(4,24) :- #0.629.
link(24,4) :- #0.175.
link(4,29) :- #0.837.
link(29,4) :- #0.134.
link(4,41) :- #0.949.
link(41,4) :- #0.281.
link(4,46) :- #0.602.
link(46,4) :- #0.867.
link(4,56) :- #0.082.
link(56,4) :- #0.565.
link(4,60) :- #0.125.
link(60,4) :- #0.428.
link(4,70) :- #0.366.
link(70,4) :- #0.326.
link(4,77) :- #0.293.
link(77,4) :- #0.999.
link(4,93) :- #0.794.
link(93,4) :- #0.182.
link(4,100) :- #0.916.
link(100,4) :- #0.788.
link(4,103) :- #0.496.
link(103,4) :- #0.5.
link(4,108) :- #0.102.
link(108,4) :- #0.1.
link(4,110) :- #0.158.
link(110,4) :- #0.816.
link(4,117) :- #0.155.
link(117,4) :- #0.1.
link(4,129) :- #0.19.
link(129,4) :- #0.74.
link(5,16) :- #0.347.
link(16,5) :- #0.601.
link(5,68) :- #0.468.
link(68,5) :- #0.711.
link(5,75) :- #0.88.
link(75,5) :- #0.805.
link(5,82) :- #0.626.
link(82,5) :- #0.449.
link(5,123) :- #0.907.
link(123,5) :- #0.296.
link(5,127) :- #0.98.
link(127,5) :- #0.981.
link(5,128) :- #0.925.
link(128,5) :- #0.134.
link(6,9) :- #0.074.
link(9,6) :- #0.734.
link(6,41) :- #0.033.
link(41,6) :- #0.372.
link(6,44) :- #0.127.
link(44,6) :- #0.939.
link(6,51) :- #0.788.
link(51,6) :- #0.045.
link(6,75) :- #0.165.
link(75,6) :- #0.462.
link(6,84) :- #0.863.
link(84,6) :- #0.521.
link(6,87) :- #0.734.
link(87,6) :- #0.273.
link(6,90) :- #0.686.
link(90,6) :- #0.258.
link(6,104) :- #0.757.
link(104,6) :- #0.1.
link(6,105) :- #0.299.
link(105,6) :- #0.677.
link(6,108) :- #0.286.
link(108,6) :- #0.099.
link(6,111) :- #0.938.
link(111,6) :- #0.857.
link(6,131) :- #0.834.
link(131,6) :- #0.486.
link(6,133) :- #0.387.
link(133,6) :- #0.711.
link(7,10) :- #0.189.
link(10,7) :- #0.419.
link(7,33) :- #0.925.
link(33,7) :- #0.773.
link(7,34) :- #0.529.
link(34,7) :- #0.874.
link(7,38) :- #0.246.
link(38,7) :- #0.559.
link(7,53) :- #0.481.
link(53,7) :- #0.623.
link(7,61) :- #0.819.
link(61,7) :- #0.084.
link(7,70) :- #0.014.
link(70,7) :- #0.819.
link(7,79) :- #0.884.
link(79,7) :- #0.639.
link(7,101) :- #0.634.
link(101,7) :- #0.3.
link(7,102) :- #0.158.
link(102,7) :- #0.47.
link(7,129) :- #0.968.
link(129,7) :- #0.716.
link(7,133) :- #0.946.
link(133,7) :- #0.082.
link(8,10) :- #0.938.
link(10,8) :- #0.749.
link(8,19) :- #0.15.
link(19,8) :- #0.359.
link(8,22) :- #0.3.
link(22,8) :- #0.132.
link(8,31) :- #0.566.
link(31,8) :- #0.253.
link(8,41) :- #0.444.
link(41,8) :- #0.293.
link(8,44) :- #0.256.
link(44,8) :- #0.278.
link(8,80) :- #0.075.
link(80,8) :- #0.342.
link(8,81) :- #0.007.
link(81,8) :- #0.293.
link(8,84) :- #0.613.
link(84,8) :- #0.666.
link(8,103) :- #0.214.
link(103,8) :- #0.635.
link(8,115) :- #0.882.
link(115,8) :- #0.88.
link(8,123) :- #0.694.
link(123,8) :- #0.906.
link(9,18) :- #0.598.
link(18,9) :- #0.542.
link(9,20) :- #0.173.
link(20,9) :- #0.744.
link(9,35) :- #0.459.
link(35,9) :- #0.267.
link(9,36) :- #0.585.
link(36,9) :- #0.43.
link(9,38) :- #0.587.
link(38,9) :- #0.501.
link(9,48) :- #0.003.
link(48,9) :- #0.184.
link(9,50) :- #0.004.
link(50,9) :- #0.502.
link(9,51) :- #0.575.
link(51,9) :- #0.289.
link(9,66) :- #0.736.
link(66,9) :- #0.561.
link(9,69) :- #0.185.
link(69,9) :- #0.672.
link(9,87) :- #0.461.
link(87,9) :- #0.363.
link(9,92) :- #0.744.
link(92,9) :- #0.32.
link(9,106) :- #0.996.
link(106,9) :- #0.728.
link(9,116) :- #0.891.
link(116,9) :- #0.544.
link(9,119) :- #0.039.
link(119,9) :- #0.019.
link(9,133) :- #0.844.
link(133,9) :- #0.069.
link(10,45) :- #0.59.
link(45,10) :- #0.891.
link(10,48) :- #0.999.
link(48,10) :- #0.546.
link(10,49) :- #0.363.
link(49,10) :- #0.975.
link(10,52) :- #0.36.
link(52,10) :- #0.1.
link(10,56) :- #0.974.
link(56,10) :- #0.797.
link(10,62) :- #0.834.
link(62,10) :- #0.12.
link(10,64) :- #0.937.
link(64,10) :- #0.924.
link(10,66) :- #0.838.
link(66,10) :- #0.553.
link(10,67) :- #0.86.
link(67,10) :- #0.733.
link(10,77) :- #0.351.
link(77,10) :- #0.561.
link(10,93) :- #0.081.
link(93,10) :- #0.612.
link(10,94) :- #0.979.
link(94,10) :- #0.686.
link(10,110) :- #0.303.
link(110,10) :- #0.072.
link(10,116) :- #0.337.
link(116,10) :- #0.426.
link(10,118) :- #0.068.
link(118,10) :- #0.488.
link(10,123) :- #0.113.
link(123,10) :- #0.878.
link(10,133) :- #0.878.
link(133,10) :- #0.757.
link(11,16) :- #0.961.
link(16,11) :- #0.379.
link(11,26) :- #0.982.
link(26,11) :- #0.463.
link(11,41) :- #0.321.
link(41,11) :- #0.648.
link(11,42) :- #0.734.
link(42,11) :- #0.379.
link(11,63) :- #0.665.
link(63,11) :- #0.184.
link(11,68) :- #0.732.
link(68,11) :- #0.859.
link(11,80) :- #0.405.
link(80,11) :- #0.545.
link(11,101) :- #0.638.
link(101,11) :- #0.531.
link(11,108) :- #0.942.
link(108,11) :- #0.94.
link(11,113) :- #0.712.
link(113,11) :- #0.236.
link(11,129) :- #0.336.
link(129,11) :- #0.398.
link(11,130) :- #0.185.
link(130,11) :- #0.725.
link(12,22) :- #0.048.
link(22,12) :- #0.752.
link(12,33) :- #0.857.
link(33,12) :- #0.585.
link(12,34) :- #0.59.
link(34,12) :- #0.3.
link(12,37) :- #0.023.
link(37,12) :- #0.249.
link(12,38) :- #0.043.
link(38,12) :- #0.942.
link(12,42) :- #0.204.
link(42,12) :- #0.084.
link(12,45) :- #0.01.
link(45,12) :- #0.85.
link(12,51) :- #0.267.
link(51,12) :- #0.03.
link(12,58) :- #0.867.
link(58,12) :- #0.614.
link(12,71) :- #0.647.
link(71,12) :- #0.437.
link(12,86) :- #0.43.
link(86,12) :- #0.68.
link(12,94) :- #0.312.
link(94,12) :- #0.716.
link(12,95) :- #0.335.
link(95,12) :- #0.822.
link(12,105) :- #0.228.
link(105,12) :- #0.613.
link(12,113) :- #0.323.
link(113,12) :- #0.97.
link(12,124) :- #0.856.
link(124,12) :- #0.912.
link(12,128) :- #0.047.
link(128,12) :- #0.882.
link(13,24) :- #0.21.
link(24,13) :- #0.668.
link(13,27) :- #0.171.
link(27,13) :- #0.729.
link(13,40) :- #0.304.
link(40,13) :- #0.767.
link(13,63) :- #0.191.
link(63,13) :- #0.35.
link(13,88) :- #0.155.
link(88,13) :- #0.227.
link(13,92) :- #0.06.
link(92,13) :- #0.867.
link(13,98) :- #0.657.
link(98,13) :- #0.847.
link(13,100) :- #0.162.
link(100,13) :- #0.063.
link(13,102) :- #0.423.
link(102,13) :- #0.077.
link(13,109) :- #0.29.
link(109,13) :- #0.694.
link(13,110) :- #0.624.
link(110,13) :- #0.571.
link(13,115) :- #0.696.
link(115,13) :- #0.174.
link(13,125) :- #0.814.
link(125,13) :- #0.327.
link(13,126) :- #0.378.
link(126,13) :- #0.341.
link(13,131) :- #0.974.
link(131,13) :- #0.291.
link(14,21) :- #0.984.
link(21,14) :- #0.536.
link(14,38) :- #0.569.
link(38,14) :- #0.515.
link(14,49) :- #0.933.
link(49,14) :- #0.714.
link(14,53) :- #0.071.
link(53,14) :- #0.505.
link(14,59) :- #0.827.
link(59,14) :- #0.916.
link(14,99) :- #0.588.
link(99,14) :- #0.091.
link(14,106) :- #0.317.
link(106,14) :- #0.047.
link(14,134) :- #0.142.
link(134,14) :- #0.545.
link(14,135) :- #0.453.
link(135,14) :- #0.478.
link(15,26) :- #0.496.
link(26,15) :- #0.708.
link(15,31) :- #0.857.
link(31,15) :- #0.806.
link(15,38) :- #0.06.
link(38,15) :- #0.547.
link(15,39) :- #0.033.
link(39,15) :- #0.674.
link(15,47) :- #0.157.
link(47,15) :- #0.87.
link(15,51) :- #0.686.
link(51,15) :- #0.68.
link(15,53) :- #0.325.
link(53,15) :- #0.463.
link(15,76) :- #0.326.
link(76,15) :- #0.21.
link(15,79) :- #0.343.
link(79,15) :- #0.53.
link(15,80) :- #0.917.
link(80,15) :- #0.673.
link(15,94) :- #0.514.
link(94,15) :- #0.364.
link(15,105) :- #0.07.
link(105,15) :- #0.009.
link(15,108) :- #0.51.
link(108,15) :- #0.432.
link(15,111) :- #0.98.
link(111,15) :- #0.852.
link(15,114) :- #0.64.
link(114,15) :- #0.301.
link(15,124) :- #0.981.
link(124,15) :- #0.174.
link(16,19) :- #0.074.
link(19,16) :- #0.093.
link(16,29) :- #0.406.
link(29,16) :- #0.124.
link(16,32) :- #0.776.
link(32,16) :- #0.565.
link(16,41) :- #0.206.
link(41,16) :- #0.789.
link(16,58) :- #0.139.
link(58,16) :- #0.564.
link(16,71) :- #0.273.
link(71,16) :- #0.56.
link(16,77) :- #0.81.
link(77,16) :- #0.27.
link(16,83) :- #0.116.
link(83,16) :- #0.032.
link(16,84) :- #0.363.
link(84,16) :- #0.303.
link(16,91) :- #0.793.
link(91,16) :- #0.129.
link(16,97) :- #0.368.
link(97,16) :- #0.772.
link(16,110) :- #0.162.
link(110,16) :- #0.469.
link(16,131) :- #0.552.
link(131,16) :- #0.789.
link(17,21) :- #0.259.
link(21,17) :- #0.413.
link(17,36) :- #0.814.
link(36,17) :- #0.633.
link(17,42) :- #0.329.
link(42,17) :- #0.595.
link(17,59) :- #0.585.
link(59,17) :- #0.742.
link(17,82) :- #0.668.
link(82,17) :- #0.818.
link(17,83) :- #0.701.
link(83,17) :- #0.485.
link(17,95) :- #0.396.
link(95,17) :- #0.661.
link(17,98) :- #0.503.
link(98,17) :- #0.203.
link(17,100) :- #0.856.
link(100,17) :- #0.022.
link(17,108) :- #0.225.
link(108,17) :- #0.377.
link(17,112) :- #0.827.
link(112,17) :- #0.559.
link(17,117) :- #0.94.
link(117,17) :- #0.013.
link(17,118) :- #0.929.
link(118,17) :- #0.934.
link(18,23) :- #0.035.
link(23,18) :- #0.916.
link(18,29) :- #0.603.
link(29,18) :- #0.096.
link(18,45) :- #0.574.
link(45,18) :- #0.674.
link(18,64) :- #0.061.
link(64,18) :- #0.219.
link(18,72) :- #0.204.
link(72,18) :- #0.813.
link(18,74) :- #0.74.
link(74,18) :- #0.274.
link(18,104) :- #0.976.
link(104,18) :- #0.931.
link(18,113) :- #0.534.
link(113,18) :- #0.539.
link(18,122) :- #0.31.
link(122,18) :- #0.228.
link(19,41) :- #0.531.
link(41,19) :- #0.315.
link(19,51) :- #0.02.
link(51,19) :- #0.925.
link(19,55) :- #0.976.
link(55,19) :- #0.009.
link(19,70) :- #0.354.
link(70,19) :- #0.642.
link(19,85) :- #0.788.
link(85,19) :- #0.015.
link(19,115) :- #0.037.
link(115,19) :- #0.178.
link(20,25) :- #0.349.
link(25,20) :- #0.009.
link(20,41) :- #0.639.
link(41,20) :- #0.888.
link(20,45) :- #0.491.
link(45,20) :- #0.7.
link(20,80) :- #0.006.
link(80,20) :- #0.239.
link(20,81) :- #0.182.
link(81,20) :- #0.425.
link(20,84) :- #0.893.
link(84,20) :- #0.317.
link(20,86) :- #0.28.
link(86,20) :- #0.476.
link(20,90) :- #0.387.
link(90,20) :- #0.312.
link(20,114) :- #0.901.
link(114,20) :- #0.592.
link(21,26) :- #0.581.
link(26,21) :- #0.059.
link(21,32) :- #0.165.
link(32,21) :- #0.68.
link(21,34) :- #0.636.
link(34,21) :- #0.799.
link(21,47) :- #0.889.
link(47,21) :- #0.682.
link(21,53) :- #0.848.
link(53,21) :- #0.768.
link(21,61) :- #0.697.
link(61,21) :- #0.468.
link(21,67) :- #0.061.
link(67,21) :- #0.254.
link(21,82) :- #0.089.
link(82,21) :- #0.081.
link(21,85) :- #0.502.
link(85,21) :- #0.234.
link(21,90) :- #0.573.
link(90,21) :- #0.22.
link(21,98) :- #0.429.
link(98,21) :- #0.916.
link(21,113) :- #0.53.
link(113,21) :- #0.303.
link(22,25) :- #0.236.
link(25,22) :- #0.802.
link(22,39) :- #0.328.
link(39,22) :- #0.035.
link(22,61) :- #0.678.
link(61,22) :- #0.626.
link(22,71) :- #0.154.
link(71,22) :- #0.366.
link(22,84) :- #0.618.
link(84,22) :- #0.54.
link(22,88) :- #0.323.
link(88,22) :- #0.931.
link(22,114) :- #0.112.
link(114,22) :- #0.641.
link(22,124) :- #0.736.
link(124,22) :- #0.118.
link(22,128) :- #0.422.
link(128,22) :- #0.742.
link(23,36) :- #0.718.
link(36,23) :- #0.46.
link(23,41) :- #0.762.
link(41,23) :- #0.584.
link(23,48) :- #0.445.
link(48,23) :- #0.925.
link(23,54) :- #0.548.
link(54,23) :- #0.421.
link(23,61) :- #0.497.
link(61,23) :- #0.409.
link(23,69) :- #0.902.
link(69,23) :- #0.529.
link(23,95) :- #0.86.
link(95,23) :- #0.306.
link(23,107) :- #0.137.
link(107,23) :- #0.132.
link(23,127) :- #0.898.
link(127,23) :- #0.891.
link(23,134) :- #0.327.
link(134,23) :- #0.008.
link(24,28) :- #0.808.
link(28,24) :- #0.516.
link(24,29) :- #0.459.
link(29,24) :- #0.627.
link(24,36) :- #0.792.
link(36,24) :- #0.641.
link(24,43) :- #0.65.
link(43,24) :- #0.547.
link(24,47) :- #0.476.
link(47,24) :- #0.879.
link(24,66) :- #0.835.
link(66,24) :- #0.56.
link(24,75) :- #0.653.
link(75,24) :- #0.559.
link(24,84) :- #0.748.
link(84,24) :- #0.191.
link(24,91) :- #0.617.
link(91,24) :- #0.616.
link(24,93) :- #0.133.
link(93,24) :- #0.706.
link(24,124) :- #0.776.
link(124,24) :- #0.584.
link(24,128) :- #0.51.
link(128,24) :- #0.379.
link(24,134) :- #0.535.
link(134,24) :- #0.275.
link(25,36) :- #0.37.
link(36,25) :- #0.929.
link(25,47) :- #0.294.
link(47,25) :- #0.801.
link(25,48) :- #0.19.
link(48,25) :- #0.397.
link(25,59) :- #0.78.
link(59,25) :- #0.399.
link(25,61) :- #0.551.
link(61,25) :- #0.441.
link(25,79) :- #0.376.
link(79,25) :- #0.257.
link(25,87) :- #0.007.
link(87,25) :- #0.651.
link(25,114) :- #0.094.
link(114,25) :- #0.97.
link(25,117) :- #0.182.
link(117,25) :- #0.733.
link(25,125) :- #0.702.
link(125,25) :- #0.371.
link(25,135) :- #0.111.
link(135,25) :- #0.921.
link(26,31) :- #0.244.
link(31,26) :- #0.271.
link(26,37) :- #0.798.
link(37,26) :- #0.921.
link(26,59) :- #0.957.
link(59,26) :- #0.947.
link(26,68) :- #0.668.
link(68,26) :- #0.798.
link(26,73) :- #0.802.
link(73,26) :- #0.266.
link(26,77) :- #0.461.
link(77,26) :- #0.16.
link(26,96) :- #0.597.
link(96,26) :- #0.759.
link(26,127) :- #0.617.
link(127,26) :- #0.534.
link(26,134) :- #0.815.
link(134,26) :- #0.265.
link(27,68) :- #0.41.
link(68,27) :- #0.191.
link(27,76) :- #0.608.
link(76,27) :- #0.384.
link(27,109) :- #0.6.
link(109,27) :- #0.61.
link(28,35) :- #0.57.
link(35,28) :- #0.668.
link(28,47) :- #0.987.
link(47,28) :- #0.083.
link(28,59) :- #0.305.
link(59,28) :- #0.483.
link(28,67) :- #0.671.
link(67,28) :- #0.43.
link(28,79) :- #0.342.
link(79,28) :- #0.813.
link(28,81) :- #0.453.
link(81,28) :- #0.668.
link(28,106) :- #0.498.
link(106,28) :- #0.966.
link(28,111) :- #0.655.
link(111,28) :- #0.683.
link(28,119) :- #0.088.
link(119,28) :- #0.51.
link(29,31) :- #0.613.
link(31,29) :- #0.263.
link(29,32) :- #0.483.
link(32,29) :- #0.595.
link(29,37) :- #0.445.
link(37,29) :- #0.068.
link(29,40) :- #0.555.
link(40,29) :- #0.7.
link(29,46) :- #0.952.
link(46,29) :- #0.764.
link(29,55) :- #0.415.
link(55,29) :- #0.395.
link(29,74) :- #0.096.
link(74,29) :- #0.303.
link(29,89) :- #0.131.
link(89,29) :- #0.735.
link(29,91) :- #0.589.
link(91,29) :- #0.321.
link(29,92) :- #0.561.
link(92,29) :- #0.85.
link(29,96) :- #0.325.
link(96,29) :- #0.526.
link(29,98) :- #0.127.
link(98,29) :- #0.221.
link(29,100) :- #0.48.
link(100,29) :- #0.418.
link(29,102) :- #0.85.
link(102,29) :- #0.324.
link(29,103) :- #0.883.
link(103,29) :- #0.496.
link(29,106) :- #0.817.
link(106,29) :- #0.
link(29,107) :- #0.187.
link(107,29) :- #0.307.
link(29,118) :- #0.875.
link(118,29) :- #0.276.
link(29,133) :- #0.338.
link(133,29) :- #0.254.
link(30,33) :- #0.743.
link(33,30) :- #0.826.
link(30,35) :- #0.996.
link(35,30) :- #0.464.
link(30,42) :- #0.243.
link(42,30) :- #0.846.
link(30,45) :- #0.993.
link(45,30) :- #0.261.
link(30,52) :- #0.256.
link(52,30) :- #0.504.
link(30,84) :- #0.338.
link(84,30) :- #0.914.
link(30,102) :- #0.735.
link(102,30) :- #0.121.
link(30,103) :- #0.021.
link(103,30) :- #0.35.
link(30,110) :- #0.237.
link(110,30) :- #0.8.
link(30,112) :- #0.268.
link(112,30) :- #0.031.
link(30,123) :- #0.249.
link(123,30) :- #0.941.
link(30,128) :- #0.412.
link(128,30) :- #0.239.
link(30,132) :- #0.245.
link(132,30) :- #0.208.
link(30,134) :- #0.23.
link(134,30) :- #0.684.
link(31,36) :- #0.923.
link(36,31) :- #0.384.
link(31,42) :- #0.005.
link(42,31) :- #0.745.
link(31,70) :- #0.09.
link(70,31) :- #0.751.
link(31,89) :- #0.451.
link(89,31) :- #0.425.
link(31,97) :- #0.141.
link(97,31) :- #0.218.
link(31,110) :- #0.687.
link(110,31) :- #0.313.
link(31,114) :- #0.965.
link(114,31) :- #0.351.
link(32,49) :- #0.084.
link(49,32) :- #0.731.
link(32,53) :- #0.343.
link(53,32) :- #0.415.
link(32,71) :- #0.833.
link(71,32) :- #0.912.
link(32,80) :- #0.85.
link(80,32) :- #0.943.
link(32,81) :- #0.67.
link(81,32) :- #0.174.
link(32,85) :- #0.713.
link(85,32) :- #0.553.
link(32,87) :- #0.199.
link(87,32) :- #0.904.
link(32,95) :- #0.818.
link(95,32) :- #0.429.
link(32,96) :- #0.555.
link(96,32) :- #0.84.
link(32,99) :- #0.825.
link(99,32) :- #0.303.
link(32,117) :- #0.772.
link(117,32) :- #0.993.
link(33,52) :- #0.267.
link(52,33) :- #0.773.
link(33,56) :- #0.671.
link(56,33) :- #0.177.
link(33,60) :- #0.295.
link(60,33) :- #0.47.
link(33,61) :- #0.529.
link(61,33) :- #0.959.
link(33,81) :- #0.87.
link(81,33) :- #0.039.
link(33,86) :- #0.471.
link(86,33) :- #0.977.
link(33,88) :- #0.32.
link(88,33) :- #0.025.
link(33,101) :- #0.658.
link(101,33) :- #0.467.
link(33,122) :- #0.193.
link(122,33) :- #0.902.
link(33,123) :- #0.887.
link(123,33) :- #0.159.
link(34,72) :- #0.745.
link(72,34) :- #0.364.
link(34,78) :- #0.585.
link(78,34) :- #0.89.
link(34,81) :- #0.542.
link(81,34) :- #0.257.
link(34,96) :- #0.871.
link(96,34) :- #0.541.
link(34,98) :- #0.965.
link(98,34) :- #0.581.
link(34,101) :- #0.021.
link(101,34) :- #0.734.
link(34,122) :- #0.556.
link(122,34) :- #0.847.
link(35,46) :- #0.492.
link(46,35) :- #0.866.
link(35,49) :- #0.527.
link(49,35) :- #0.91.
link(35,62) :- #0.368.
link(62,35) :- #0.964.
link(35,65) :- #0.496.
link(65,35) :- #0.45.
link(35,77) :- #0.533.
link(77,35) :- #0.919.
link(35,78) :- #0.771.
link(78,35) :- #0.577.
link(35,101) :- #0.024.
link(101,35) :- #0.249.
link(35,104) :- #0.948.
link(104,35) :- #0.063.
link(35,112) :- #0.278.
link(112,35) :- #0.685.
link(35,122) :- #0.247.
link(122,35) :- #0.261.
link(36,40) :- #0.523.
link(40,36) :- #0.9.
link(36,42) :- #0.883.
link(42,36) :- #0.69.
link(36,45) :- #0.469.
link(45,36) :- #0.168.
link(36,80) :- #0.901.
link(80,36) :- #0.997.
link(36,87) :- #0.988.
link(87,36) :- #0.083.
link(36,100) :- #0.637.
link(100,36) :- #0.79.
link(36,109) :- #0.441.
link(109,36) :- #0.648.
link(36,113) :- #0.247.
link(113,36) :- #0.878.
link(37,41) :- #0.086.
link(41,37) :- #0.677.
link(37,55) :- #0.376.
link(55,37) :- #0.182.
link(37,60) :- #0.084.
link(60,37) :- #0.882.
link(37,98) :- #0.805.
link(98,37) :- #0.118.
link(37,104) :- #0.507.
link(104,37) :- #0.041.
link(37,106) :- #0.05.
link(106,37) :- #0.222.
link(37,110) :- #0.597.
link(110,37) :- #0.993.
link(37,116) :- #0.137.
link(116,37) :- #0.095.
link(37,121) :- #0.041.
link(121,37) :- #0.804.
link(38,42) :- #0.677.
link(42,38) :- #0.357.
link(38,43) :- #0.95.
link(43,38) :- #0.56.
link(38,48) :- #0.67.
link(48,38) :- #0.808.
link(38,52) :- #0.436.
link(52,38) :- #0.716.
link(38,68) :- #0.024.
link(68,38) :- #0.754.
link(38,94) :- #0.623.
link(94,38) :- #0.734.
link(38,96) :- #0.361.
link(96,38) :- #0.756.
link(38,100) :- #0.618.
link(100,38) :- #0.565.
link(38,109) :- #0.408.
link(109,38) :- #0.543.
link(38,117) :- #0.419.
link(117,38) :- #0.048.
link(38,118) :- #0.947.
link(118,38) :- #0.657.
link(38,120) :- #0.269.
link(120,38) :- #0.103.
link(38,135) :- #0.385.
link(135,38) :- #0.371.
link(39,43) :- #0.15.
link(43,39) :- #0.931.
link(39,48) :- #0.174.
link(48,39) :- #0.535.
link(39,56) :- #0.444.
link(56,39) :- #0.978.
link(39,57) :- #0.567.
link(57,39) :- #0.384.
link(39,74) :- #0.512.
link(74,39) :- #0.874.
link(39,81) :- #0.931.
link(81,39) :- #0.696.
link(39,90) :- #0.673.
link(90,39) :- #0.661.
link(39,113) :- #0.644.
link(113,39) :- #0.445.
link(39,132) :- #0.781.
link(132,39) :- #0.595.
link(39,135) :- #0.638.
link(135,39) :- #0.781.
link(40,65) :- #0.962.
link(65,40) :- #0.483.
link(40,66) :- #0.987.
link(66,40) :- #0.405.
link(40,75) :- #0.807.
link(75,40) :- #0.524.
link(40,76) :- #0.634.
link(76,40) :- #0.638.
link(40,77) :- #0.201.
link(77,40) :- #0.941.
link(41,66) :- #0.874.
link(66,41) :- #0.482.
link(41,69) :- #0.386.
link(69,41) :- #0.427.
link(41,83) :- #0.494.
link(83,41) :- #0.978.
link(41,107) :- #0.757.
link(107,41) :- #0.614.
link(41,117) :- #0.451.
link(117,41) :- #0.383.
link(41,127) :- #0.279.
link(127,41) :- #0.
link(41,134) :- #0.443.
link(134,41) :- #0.902.
link(42,58) :- #0.45.
link(58,42) :- #0.172.
link(42,86) :- #0.057.
link(86,42) :- #0.601.
link(42,89) :- #0.034.
link(89,42) :- #0.83.
link(42,99) :- #0.037.
link(99,42) :- #0.184.
link(42,113) :- #0.677.
link(113,42) :- #0.151.
link(42,116) :- #0.408.
link(116,42) :- #0.45.
link(42,129) :- #0.288.
link(129,42) :- #0.206.
link(43,46) :- #0.297.
link(46,43) :- #0.859.
link(43,48) :- #0.188.
link(48,43) :- #0.422.
link(43,57) :- #0.46.
link(57,43) :- #0.792.
link(43,59) :- #0.41.
link(59,43) :- #0.877.
link(43,75) :- #0.345.
link(75,43) :- #0.032.
link(43,84) :- #0.904.
link(84,43) :- #0.508.
link(43,92) :- #0.459.
link(92,43) :- #0.068.
link(43,94) :- #0.192.
link(94,43) :- #0.995.
link(43,109) :- #0.373.
link(109,43) :- #0.052.
link(43,129) :- #0.213.
link(129,43) :- #0.217.
link(43,135) :- #0.831.
link(135,43) :- #0.217.
link(44,61) :- #0.791.
link(61,44) :- #0.195.
link(44,82) :- #0.482.
link(82,44) :- #0.144.
link(44,85) :- #0.366.
link(85,44) :- #0.368.
link(44,104) :- #0.034.
link(104,44) :- #0.294.
link(44,113) :- #0.272.
link(113,44) :- #0.925.
link(44,116) :- #0.519.
link(116,44) :- #0.334.
link(44,131) :- #0.978.
link(131,44) :- #0.749.
link(44,133) :- #0.484.
link(133,44) :- #0.107.
link(45,55) :- #0.919.
link(55,45) :- #0.935.
link(45,58) :- #0.536.
link(58,45) :- #0.065.
link(45,60) :- #0.126.
link(60,45) :- #0.811.
link(45,71) :- #0.945.
link(71,45) :- #0.007.
link(45,79) :- #0.942.
link(79,45) :- #0.062.
link(45,84) :- #0.929.
link(84,45) :- #0.176.
link(45,89) :- #0.223.
link(89,45) :- #0.051.
link(45,94) :- #0.548.
link(94,45) :- #0.033.
link(45,125) :- #0.34.
link(125,45) :- #0.289.
link(46,52) :- #0.605.
link(52,46) :- #0.052.
link(46,75) :- #0.655.
link(75,46) :- #0.439.
link(46,77) :- #0.733.
link(77,46) :- #0.981.
link(46,78) :- #0.437.
link(78,46) :- #0.375.
link(46,83) :- #0.778.
link(83,46) :- #0.591.
link(46,84) :- #0.172.
link(84,46) :- #0.766.
link(46,85) :- #0.958.
link(85,46) :- #0.589.
link(46,107) :- #0.066.
link(107,46) :- #0.224.
link(46,114) :- #0.093.
link(114,46) :- #0.321.
link(46,121) :- #0.133.
link(121,46) :- #0.261.
link(46,132) :- #0.994.
link(132,46) :- #0.995.
link(47,52) :- #0.454.
link(52,47) :- #0.558.
link(47,61) :- #0.836.
link(61,47) :- #0.417.
link(47,111) :- #0.032.
link(111,47) :- #0.393.
link(47,124) :- #0.965.
link(124,47) :- #0.768.
link(47,131) :- #0.611.
link(131,47) :- #0.402.
link(47,132) :- #0.936.
link(132,47) :- #0.603.
link(48,67) :- #0.153.
link(67,48) :- #0.328.
link(48,68) :- #0.091.
link(68,48) :- #0.363.
link(48,73) :- #0.429.
link(73,48) :- #0.331.
link(48,76) :- #0.271.
link(76,48) :- #0.916.
link(48,83) :- #0.825.
link(83,48) :- #0.127.
link(48,84) :- #0.233.
link(84,48) :- #0.566.
link(48,92) :- #0.756.
link(92,48) :- #0.446.
link(48,112) :- #0.613.
link(112,48) :- #0.098.
link(48,114) :- #0.504.
link(114,48) :- #0.385.
link(48,118) :- #0.959.
link(118,48) :- #0.563.
link(48,132) :- #0.429.
link(132,48) :- #0.544.
link(49,57) :- #0.141.
link(57,49) :- #0.929.
link(49,64) :- #0.833.
link(64,49) :- #0.697.
link(49,67) :- #0.814.
link(67,49) :- #0.61.
link(49,82) :- #0.618.
link(82,49) :- #0.023.
link(49,83) :- #0.058.
link(83,49) :- #0.19.
link(49,86) :- #0.901.
link(86,49) :- #0.033.
link(49,94) :- #0.889.
link(94,49) :- #0.862.
link(49,100) :- #0.859.
link(100,49) :- #0.649.
link(49,101) :- #0.321.
link(101,49) :- #0.037.
link(49,118) :- #0.156.
link(118,49) :- #0.799.
link(50,68) :- #0.557.
link(68,50) :- #0.83.
link(50,71) :- #0.854.
link(71,50) :- #0.411.
link(50,78) :- #0.84.
link(78,50) :- #0.497.
link(50,85) :- #0.817.
link(85,50) :- #0.17.
link(50,90) :- #0.508.
link(90,50) :- #0.11.
link(51,55) :- #0.43.
link(55,51) :- #0.36.
link(51,62) :- #0.84.
link(62,51) :- #0.473.
link(51,64) :- #0.167.
link(64,51) :- #0.028.
link(51,72) :- #0.749.
link(72,51) :- #0.467.
link(51,73) :- #0.077.
link(73,51) :- #0.509.
link(51,81) :- #0.217.
link(81,51) :- #0.129.
link(51,94) :- #0.816.
link(94,51) :- #0.687.
link(51,102) :- #0.347.
link(102,51) :- #0.101.
link(51,108) :- #0.111.
link(108,51) :- #0.554.
link(51,130) :- #0.868.
link(130,51) :- #0.747.
link(52,58) :- #0.878.
link(58,52) :- #0.424.
link(52,60) :- #0.036.
link(60,52) :- #0.954.
link(52,83) :- #0.832.
link(83,52) :- #0.47.
link(52,84) :- #0.935.
link(84,52) :- #0.234.
link(52,90) :- #0.018.
link(90,52) :- #0.714.
link(52,99) :- #0.695.
link(99,52) :- #0.169.
link(52,112) :- #0.017.
link(112,52) :- #0.749.
link(52,120) :- #0.854.
link(120,52) :- #0.2.
link(52,131) :- #0.489.
link(131,52) :- #0.021.
link(53,59) :- #0.935.
link(59,53) :- #0.457.
link(53,60) :- #0.694.
link(60,53) :- #0.41.
link(53,72) :- #0.882.
link(72,53) :- #0.188.
link(53,73) :- #0.612.
link(73,53) :- #0.876.
link(53,107) :- #0.65.
link(107,53) :- #0.924.
link(53,108) :- #0.435.
link(108,53) :- #0.709.
link(53,112) :- #0.536.
link(112,53) :- #0.975.
link(53,119) :- #0.636.
link(119,53) :- #0.019.
link(53,120) :- #0.478.
link(120,53) :- #0.098.
link(53,123) :- #0.336.
link(123,53) :- #0.864.
link(53,134) :- #0.958.
link(134,53) :- #0.023.
link(54,55) :- #0.533.
link(55,54) :- #0.346.
link(54,63) :- #0.552.
link(63,54) :- #0.295.
link(54,68) :- #0.445.
link(68,54) :- #0.001.
link(54,79) :- #0.824.
link(79,54) :- #0.121.
link(54,88) :- #0.109.
link(88,54) :- #0.458.
link(54,90) :- #0.787.
link(90,54) :- #0.167.
link(54,104) :- #0.637.
link(104,54) :- #0.961.
link(54,107) :- #0.776.
link(107,54) :- #0.943.
link(54,131) :- #0.724.
link(131,54) :- #0.683.
link(55,60) :- #0.226.
link(60,55) :- #0.284.
link(55,61) :- #0.856.
link(61,55) :- #0.571.
link(55,65) :- #0.788.
link(65,55) :- #0.791.
link(55,67) :- #0.062.
link(67,55) :- #0.534.
link(55,72) :- #0.645.
link(72,55) :- #0.833.
link(55,78) :- #0.177.
link(78,55) :- #0.476.
link(55,81) :- #0.059.
link(81,55) :- #0.022.
link(55,83) :- #0.612.
link(83,55) :- #0.713.
link(55,86) :- #0.695.
link(86,55) :- #0.091.
link(55,88) :- #0.395.
link(88,55) :- #0.645.
link(55,92) :- #0.241.
link(92,55) :- #0.78.
link(55,93) :- #0.983.
link(93,55) :- #0.923.
link(55,106) :- #0.346.
link(106,55) :- #0.16.
link(55,109) :- #0.678.
link(109,55) :- #0.228.
link(55,125) :- #0.847.
link(125,55) :- #0.44.
link(56,122) :- #0.702.
link(122,56) :- #0.955.
link(56,130) :- #0.309.
link(130,56) :- #0.525.
link(57,63) :- #0.374.
link(63,57) :- #0.536.
link(57,64) :- #0.66.
link(64,57) :- #0.854.
link(57,68) :- #0.94.
link(68,57) :- #0.747.
link(57,85) :- #0.388.
link(85,57) :- #0.454.
link(57,91) :- #0.252.
link(91,57) :- #0.499.
link(57,100) :- #0.87.
link(100,57) :- #0.843.
link(57,104) :- #0.419.
link(104,57) :- #0.35.
link(57,108) :- #0.452.
link(108,57) :- #0.857.
link(57,115) :- #0.274.
link(115,57) :- #0.166.
link(57,121) :- #0.415.
link(121,57) :- #0.607.
link(58,59) :- #0.879.
link(59,58) :- #0.066.
link(58,65) :- #0.804.
link(65,58) :- #0.229.
link(58,66) :- #0.511.
link(66,58) :- #0.42.
link(58,67) :- #0.712.
link(67,58) :- #0.683.
link(58,97) :- #0.613.
link(97,58) :- #0.292.
link(58,116) :- #0.261.
link(116,58) :- #0.526.
link(59,60) :- #0.971.
link(60,59) :- #0.363.
link(59,62) :- #0.578.
link(62,59) :- #0.808.
link(59,69) :- #0.988.
link(69,59) :- #0.013.
link(59,72) :- #0.182.
link(72,59) :- #0.315.
link(59,73) :- #0.89.
link(73,59) :- #0.514.
link(59,76) :- #0.614.
link(76,59) :- #0.634.
link(59,95) :- #0.352.
link(95,59) :- #0.217.
link(59,96) :- #0.018.
link(96,59) :- #0.365.
link(59,102) :- #0.549.
link(102,59) :- #0.266.
link(59,104) :- #0.762.
link(104,59) :- #0.471.
link(59,114) :- #0.399.
link(114,59) :- #0.963.
link(59,124) :- #0.676.
link(124,59) :- #0.92.
link(59,131) :- #0.751.
link(131,59) :- #0.85.
link(59,133) :- #0.049.
link(133,59) :- #0.43.
link(60,65) :- #0.913.
link(65,60) :- #0.256.
link(60,83) :- #0.17.
link(83,60) :- #0.238.
link(60,95) :- #0.911.
link(95,60) :- #0.387.
link(60,99) :- #0.758.
link(99,60) :- #0.111.
link(60,101) :- #0.75.
link(101,60) :- #0.36.
link(60,107) :- #0.556.
link(107,60) :- #0.649.
link(60,108) :- #0.118.
link(108,60) :- #0.473.
link(60,121) :- #0.409.
link(121,60) :- #0.724.
link(60,122) :- #0.106.
link(122,60) :- #0.705.
link(60,134) :- #0.115.
link(134,60) :- #0.274.
link(61,74) :- #0.644.
link(74,61) :- #0.155.
link(61,75) :- #0.939.
link(75,61) :- #0.916.
link(61,88) :- #0.367.
link(88,61) :- #0.073.
link(61,119) :- #0.108.
link(119,61) :- #0.793.
link(61,135) :- #0.101.
link(135,61) :- #0.075.
link(62,67) :- #0.445.
link(67,62) :- #0.814.
link(62,73) :- #0.323.
link(73,62) :- #0.309.
link(62,83) :- #0.214.
link(83,62) :- #0.089.
link(62,98) :- #0.85.
link(98,62) :- #0.015.
link(62,101) :- #0.684.
link(101,62) :- #0.806.
link(63,67) :- #0.102.
link(67,63) :- #0.431.
link(63,79) :- #0.914.
link(79,63) :- #0.404.
link(63,105) :- #0.363.
link(105,63) :- #0.096.
link(63,109) :- #0.289.
link(109,63) :- #0.337.
link(63,123) :- #0.975.
link(123,63) :- #0.626.
link(63,126) :- #0.683.
link(126,63) :- #0.662.
link(63,134) :- #0.886.
link(134,63) :- #0.377.
link(64,90) :- #0.298.
link(90,64) :- #0.595.
link(64,105) :- #0.077.
link(105,64) :- #0.29.
link(64,115) :- #0.84.
link(115,64) :- #0.95.
link(64,124) :- #0.201.
link(124,64) :- #0.676.
link(65,71) :- #0.208.
link(71,65) :- #0.273.
link(65,82) :- #0.181.
link(82,65) :- #0.967.
link(65,91) :- #0.298.
link(91,65) :- #0.777.
link(65,104) :- #0.242.
link(104,65) :- #0.01.
link(65,108) :- #0.174.
link(108,65) :- #0.742.
link(65,125) :- #0.872.
link(125,65) :- #0.777.
link(66,70) :- #0.255.
link(70,66) :- #0.583.
link(66,85) :- #0.071.
link(85,66) :- #0.18.
link(66,94) :- #0.424.
link(94,66) :- #0.867.
link(66,96) :- #0.889.
link(96,66) :- #0.663.
link(66,106) :- #0.089.
link(106,66) :- #0.191.
link(66,114) :- #0.993.
link(114,66) :- #0.672.
link(66,122) :- #0.182.
link(122,66) :- #0.396.
link(66,124) :- #0.911.
link(124,66) :- #0.594.
link(66,126) :- #0.306.
link(126,66) :- #0.307.
link(66,130) :- #0.65.
link(130,66) :- #0.211.
link(67,76) :- #0.63.
link(76,67) :- #0.3.
link(67,78) :- #0.79.
link(78,67) :- #0.679.
link(67,96) :- #0.453.
link(96,67) :- #0.934.
link(67,130) :- #0.544.
link(130,67) :- #0.057.
link(68,94) :- #0.523.
link(94,68) :- #0.727.
link(68,96) :- #0.076.
link(96,68) :- #0.991.
link(68,104) :- #0.283.
link(104,68) :- #0.578.
link(68,112) :- #0.756.
link(112,68) :- #0.316.
link(68,114) :- #0.057.
link(114,68) :- #0.226.
link(68,118) :- #0.694.
link(118,68) :- #0.8.
link(69,74) :- #0.349.
link(74,69) :- #0.407.
link(69,93) :- #0.622.
link(93,69) :- #0.374.
link(69,128) :- #0.543.
link(128,69) :- #0.751.
link(69,131) :- #0.813.
link(131,69) :- #0.806.
link(69,134) :- #0.382.
link(134,69) :- #0.125.
link(69,135) :- #0.707.
link(135,69) :- #0.825.
link(70,78) :- #0.211.
link(78,70) :- #0.508.
link(70,80) :- #0.251.
link(80,70) :- #0.931.
link(70,84) :- #0.515.
link(84,70) :- #0.178.
link(70,87) :- #0.724.
link(87,70) :- #0.117.
link(70,104) :- #0.23.
link(104,70) :- #0.126.
link(70,106) :- #0.258.
link(106,70) :- #0.196.
link(70,112) :- #0.416.
link(112,70) :- #0.021.
link(70,114) :- #0.972.
link(114,70) :- #0.512.
link(70,115) :- #0.637.
link(115,70) :- #0.755.
link(70,121) :- #0.162.
link(121,70) :- #0.224.
link(70,129) :- #0.876.
link(129,70) :- #0.657.
link(71,79) :- #0.468.
link(79,71) :- #0.847.
link(71,84) :- #0.402.
link(84,71) :- #0.648.
link(71,97) :- #0.132.
link(97,71) :- #0.93.
link(71,104) :- #0.274.
link(104,71) :- #0.297.
link(71,112) :- #0.161.
link(112,71) :- #0.018.
link(71,134) :- #0.333.
link(134,71) :- #0.513.
link(72,73) :- #0.283.
link(73,72) :- #0.071.
link(72,84) :- #0.567.
link(84,72) :- #0.032.
link(72,96) :- #0.572.
link(96,72) :- #0.062.
link(73,74) :- #0.808.
link(74,73) :- #0.403.
link(73,80) :- #0.455.
link(80,73) :- #0.381.
link(73,81) :- #0.183.
link(81,73) :- #0.629.
link(73,83) :- #0.717.
link(83,73) :- #0.233.
link(73,95) :- #0.664.
link(95,73) :- #0.2.
link(73,98) :- #0.249.
link(98,73) :- #0.196.
link(73,100) :- #0.248.
link(100,73) :- #0.148.
link(73,101) :- #0.404.
link(101,73) :- #0.447.
link(73,102) :- #0.637.
link(102,73) :- #0.824.
link(73,110) :- #0.322.
link(110,73) :- #0.599.
link(73,132) :- #0.061.
link(132,73) :- #0.882.
link(74,96) :- #0.881.
link(96,74) :- #0.074.
link(74,100) :- #0.902.
link(100,74) :- #0.133.
link(74,101) :- #0.537.
link(101,74) :- #0.354.
link(74,110) :- #0.648.
link(110,74) :- #0.233.
link(74,113) :- #0.31.
link(113,74) :- #0.101.
link(74,126) :- #0.176.
link(126,74) :- #0.097.
link(74,128) :- #0.27.
link(128,74) :- #0.078.
link(74,134) :- #0.528.
link(134,74) :- #0.554.
link(75,87) :- #0.754.
link(87,75) :- #0.349.
link(75,102) :- #0.747.
link(102,75) :- #0.257.
link(75,105) :- #0.086.
link(105,75) :- #0.399.
link(75,106) :- #0.49.
link(106,75) :- #0.624.
link(75,110) :- #0.187.
link(110,75) :- #0.529.
link(75,123) :- #0.597.
link(123,75) :- #0.657.
link(76,83) :- #0.014.
link(83,76) :- #0.118.
link(76,107) :- #0.367.
link(107,76) :- #0.397.
link(76,109) :- #0.548.
link(109,76) :- #0.654.
link(76,119) :- #0.441.
link(119,76) :- #0.401.
link(77,78) :- #0.892.
link(78,77) :- #0.714.
link(77,93) :- #0.243.
link(93,77) :- #0.914.
link(77,102) :- #0.998.
link(102,77) :- #0.487.
link(77,113) :- #0.127.
link(113,77) :- #0.747.
link(77,133) :- #0.555.
link(133,77) :- #0.892.
link(78,88) :- #0.49.
link(88,78) :- #0.747.
link(78,89) :- #0.361.
link(89,78) :- #0.49.
link(79,83) :- #0.355.
link(83,79) :- #0.185.
link(79,89) :- #0.207.
link(89,79) :- #0.259.
link(79,92) :- #0.376.
link(92,79) :- #0.176.
link(79,104) :- #0.195.
link(104,79) :- #0.983.
link(79,106) :- #0.06.
link(106,79) :- #0.246.
link(79,120) :- #0.943.
link(120,79) :- #0.606.
link(79,126) :- #0.695.
link(126,79) :- #0.366.
link(79,127) :- #0.047.
link(127,79) :- #0.043.
link(79,130) :- #0.134.
link(130,79) :- #0.9.
link(80,105) :- #0.242.
link(105,80) :- #0.755.
link(80,106) :- #0.026.
link(106,80) :- #0.167.
link(80,107) :- #0.248.
link(107,80) :- #0.009.
link(80,113) :- #0.389.
link(113,80) :- #0.259.
link(80,117) :- #0.211.
link(117,80) :- #0.38.
link(80,121) :- #0.796.
link(121,80) :- #0.809.
link(80,124) :- #0.016.
link(124,80) :- #0.317.
link(80,128) :- #0.79.
link(128,80) :- #0.98.
link(80,133) :- #0.52.
link(133,80) :- #0.732.
link(81,87) :- #0.262.
link(87,81) :- #0.685.
link(81,100) :- #0.739.
link(100,81) :- #0.809.
link(81,109) :- #0.011.
link(109,81) :- #0.179.
link(81,119) :- #0.243.
link(119,81) :- #0.73.
link(81,125) :- #0.889.
link(125,81) :- #0.616.
link(82,86) :- #0.054.
link(86,82) :- #0.563.
link(82,88) :- #0.34.
link(88,82) :- #0.904.
link(82,111) :- #0.272.
link(111,82) :- #0.469.
link(82,119) :- #0.387.
link(119,82) :- #0.482.
link(83,87) :- #0.737.
link(87,83) :- #0.771.
link(83,110) :- #0.762.
link(110,83) :- #0.202.
link(83,115) :- #0.604.
link(115,83) :- #0.772.
link(83,117) :- #0.837.
link(117,83) :- #0.861.
link(83,118) :- #0.489.
link(118,83) :- #0.196.
link(83,120) :- #0.857.
link(120,83) :- #0.619.
link(83,125) :- #0.514.
link(125,83) :- #0.07.
link(83,127) :- #0.921.
link(127,83) :- #0.387.
link(84,85) :- #0.401.
link(85,84) :- #0.225.
link(84,89) :- #0.764.
link(89,84) :- #0.503.
link(84,93) :- #0.601.
link(93,84) :- #0.543.
link(84,95) :- #0.253.
link(95,84) :- #0.834.
link(84,101) :- #0.281.
link(101,84) :- #0.639.
link(84,109) :- #0.053.
link(109,84) :- #0.85.
link(84,117) :- #0.719.
link(117,84) :- #0.172.
link(85,95) :- #0.223.
link(95,85) :- #0.569.
link(85,100) :- #0.018.
link(100,85) :- #0.757.
link(85,104) :- #0.83.
link(104,85) :- #0.564.
link(85,107) :- #0.086.
link(107,85) :- #0.045.
link(85,110) :- #0.543.
link(110,85) :- #0.91.
link(85,115) :- #0.878.
link(115,85) :- #0.787.
link(85,117) :- #0.744.
link(117,85) :- #0.872.
link(85,133) :- #0.201.
link(133,85) :- #0.059.
link(86,120) :- #0.909.
link(120,86) :- #0.072.
link(86,124) :- #0.943.
link(124,86) :- #0.81.
link(86,131) :- #0.901.
link(131,86) :- #0.37.
link(87,97) :- #0.782.
link(97,87) :- #0.917.
link(87,109) :- #0.807.
link(109,87) :- #0.87.
link(87,112) :- #0.911.
link(112,87) :- #0.034.
link(87,116) :- #0.827.
link(116,87) :- #0.614.
link(88,102) :- #0.628.
link(102,88) :- #0.165.
link(88,108) :- #0.495.
link(108,88) :- #0.059.
link(88,111) :- #0.134.
link(111,88) :- #0.678.
link(88,124) :- #0.77.
link(124,88) :- #0.434.
link(88,134) :- #0.141.
link(134,88) :- #0.841.
link(89,91) :- #0.648.
link(91,89) :- #0.222.
link(89,96) :- #0.062.
link(96,89) :- #0.046.
link(89,107) :- #0.612.
link(107,89) :- #0.175.
link(89,113) :- #0.3.
link(113,89) :- #0.229.
link(89,114) :- #0.949.
link(114,89) :- #0.408.
link(89,116) :- #0.252.
link(116,89) :- #0.181.
link(89,125) :- #0.562.
link(125,89) :- #0.892.
link(90,104) :- #0.01.
link(104,90) :- #0.074.
link(90,126) :- #0.192.
link(126,90) :- #0.303.
link(90,134) :- #0.697.
link(134,90) :- #0.738.
link(91,92) :- #0.65.
link(92,91) :- #0.109.
link(91,98) :- #0.086.
link(98,91) :- #0.616.
link(91,100) :- #0.063.
link(100,91) :- #0.577.
link(91,120) :- #0.529.
link(120,91) :- #0.605.
link(91,128) :- #0.733.
link(128,91) :- #0.132.
link(92,94) :- #0.629.
link(94,92) :- #0.735.
link(92,98) :- #0.86.
link(98,92) :- #0.196.
link(92,102) :- #0.078.
link(102,92) :- #0.127.
link(92,120) :- #0.385.
link(120,92) :- #0.075.
link(92,126) :- #0.162.
link(126,92) :- #0.533.
link(93,105) :- #0.834.
link(105,93) :- #0.897.
link(93,108) :- #0.849.
link(108,93) :- #0.711.
link(93,112) :- #0.548.
link(112,93) :- #0.673.
link(93,113) :- #0.713.
link(113,93) :- #0.713.
link(93,124) :- #0.716.
link(124,93) :- #0.751.
link(93,125) :- #0.249.
link(125,93) :- #0.018.
link(94,111) :- #0.282.
link(111,94) :- #0.698.
link(94,132) :- #0.956.
link(132,94) :- #0.171.
link(95,104) :- #0.278.
link(104,95) :- #0.702.
link(95,123) :- #0.77.
link(123,95) :- #0.891.
link(96,100) :- #0.306.
link(100,96) :- #0.281.
link(96,106) :- #0.66.
link(106,96) :- #0.348.
link(96,116) :- #0.411.
link(116,96) :- #0.243.
link(97,105) :- #0.928.
link(105,97) :- #0.704.
link(97,111) :- #0.257.
link(111,97) :- #0.738.
link(97,118) :- #0.926.
link(118,97) :- #0.005.
link(97,123) :- #0.343.
link(123,97) :- #0.959.
link(97,125) :- #0.433.
link(125,97) :- #0.777.
link(97,130) :- #0.77.
link(130,97) :- #0.536.
link(98,110) :- #0.136.
link(110,98) :- #0.237.
link(98,111) :- #0.05.
link(111,98) :- #0.447.
link(98,123) :- #0.982.
link(123,98) :- #0.129.
link(98,125) :- #0.55.
link(125,98) :- #0.923.
link(98,129) :- #0.089.
link(129,98) :- #0.775.
link(99,114) :- #0.859.
link(114,99) :- #0.302.
link(99,117) :- #0.557.
link(117,99) :- #0.873.
link(99,118) :- #0.565.
link(118,99) :- #0.319.
link(99,127) :- #0.568.
link(127,99) :- #0.814.
link(100,121) :- #0.515.
link(121,100) :- #0.175.
link(100,126) :- #0.315.
link(126,100) :- #0.199.
link(100,132) :- #0.394.
link(132,100) :- #0.026.
link(101,102) :- #0.419.
link(102,101) :- #0.884.
link(101,114) :- #0.691.
link(114,101) :- #0.643.
link(101,134) :- #0.994.
link(134,101) :- #0.039.
link(102,119) :- #0.521.
link(119,102) :- #0.95.
link(102,130) :- #0.311.
link(130,102) :- #0.576.
link(103,104) :- #0.059.
link(104,103) :- #0.555.
link(103,105) :- #0.258.
link(105,103) :- #0.187.
link(103,106) :- #0.089.
link(106,103) :- #0.054.
link(103,113) :- #0.532.
link(113,103) :- #0.231.
link(103,118) :- #0.528.
link(118,103) :- #0.75.
link(103,131) :- #0.541.
link(131,103) :- #0.861.
link(104,106) :- #0.198.
link(106,104) :- #0.95.
link(104,107) :- #0.506.
link(107,104) :- #0.084.
link(105,118) :- #0.209.
link(118,105) :- #0.584.
link(105,128) :- #0.793.
link(128,105) :- #0.422.
link(105,131) :- #0.354.
link(131,105) :- #0.635.
link(106,107) :- #0.29.
link(107,106) :- #0.72.
link(106,116) :- #0.982.
link(116,106) :- #0.472.
link(106,125) :- #0.961.
link(125,106) :- #0.267.
link(107,119) :- #0.087.
link(119,107) :- #0.636.
link(108,122) :- #0.9.
link(122,108) :- #0.112.
link(108,128) :- #0.288.
link(128,108) :- #0.75.
link(109,114) :- #0.184.
link(114,109) :- #0.699.
link(109,124) :- #0.059.
link(124,109) :- #0.949.
link(109,126) :- #0.218.
link(126,109) :- #0.968.
link(110,119) :- #0.917.
link(119,110) :- #0.514.
link(110,126) :- #0.441.
link(126,110) :- #0.913.
link(111,113) :- #0.222.
link(113,111) :- #0.041.
link(111,119) :- #0.151.
link(119,111) :- #0.588.
link(111,121) :- #0.1.
link(121,111) :- #0.742.
link(111,131) :- #0.856.
link(131,111) :- #0.116.
link(112,119) :- #0.71.
link(119,112) :- #0.81.
link(112,127) :- #0.888.
link(127,112) :- #0.94.
link(113,120) :- #0.194.
link(120,113) :- #0.911.
link(114,119) :- #0.91.
link(119,114) :- #0.191.
link(115,116) :- #0.187.
link(116,115) :- #0.87.
link(115,117) :- #0.385.
link(117,115) :- #0.191.
link(116,118) :- #0.587.
link(118,116) :- #0.551.
link(116,127) :- #0.601.
link(127,116) :- #0.254.
link(116,128) :- #0.3.
link(128,116) :- #0.735.
link(117,118) :- #0.651.
link(118,117) :- #0.54.
link(117,130) :- #0.248.
link(130,117) :- #0.634.
link(118,123) :- #0.964.
link(123,118) :- #0.896.
link(118,132) :- #0.771.
link(132,118) :- #0.459.
link(119,131) :- #0.021.
link(131,119) :- #0.74.
link(120,133) :- #0.497.
link(133,120) :- #0.489.
link(122,130) :- #0.444.
link(130,122) :- #0.92.
link(125,127) :- #0.376.
link(127,125) :- #0.112.
link(127,129) :- #0.374.
link(129,127) :- #0.397.
link(127,135) :- #0.178.
link(135,127) :- #0.966.
link(128,131) :- #0.319.
link(131,128) :- #0.892.
colour(red0).
colour(green0).
colour(blue0).
colour(yellow0).
colour(cyan0).
